Buy Used and New Martin Davis Books

The Undecidable: Basic Papers on Undecidable Propostions, Unsolvable Problems and Computable Functions

by Martin Davis

ISBN 13: 9780486432281

Format: Paperback (416 pages)
Publisher: Dover Publications Inc.
Published: 01 Feb 2004

Save for later

Applied Nonstandard Analysis

by Martin Davis

ISBN 13: 9780486442297

Format: Paperback (208 pages)
Publisher: Dover Publications Inc.
Published: 26 Jul 2005

Save for later

Computational Logic and Set Theory: Applying Formalized Logic to Analysis

by Jacob T. Schwartz, Domenico Cantone, Eugenio G. Omodeo

ISBN 13: 9780857298072

Format: Hardcover (433 pages)
Publisher: Springer
Published: 16 Jul 2011

Save for later

The Universal Computer – The Road from Leibniz to Turing: The Road from Leibnitz to Turing

by Martin Davis

ISBN 13: 9780393047851

Format: Hardcover (270 pages)
Publisher: W. W. Norton & Company
Published: 17 Oct 2000

Save for later